Free completely regular semigroups II. Word problem
نویسندگان
چکیده
منابع مشابه
On Free Products of Completely Regular Semigroups
The free product CR S i of an arbitrary family of disjoint completely simple semigroups fS i g i2I , within the variety CR of completely regular semigroups, is described by means of a theorem generalizing that of Ka dourek and Poll ak for free completely regular semigroups. A notable consequence of the description is that all maximal subgroups of CR S i are free, except for those in the factors...
متن کاملCompletely Regular Semigroups and the Discrete Log Problem
We consider an application to the discrete log problem using completely regular semigroups which may provide a more secure symmetric cryptosystem than the classic system based on groups. In particular we describe a scheme that would appear to offer protection to a standard trial multiplication attack.
متن کاملThe word problem for free adequate semigroups
We study the complexity of computation in finitely generated free left, right and two-sided adequate semigroups and monoids. We present polynomial time (quadratic in the RAM model of computation) algorithms to solve the word problem and compute normal forms in each of these, and hence also to test whether any given identity holds in the classes of left, right and/or two-sided adequate semigroups.
متن کاملThe Structure of Completely Regular Semigroups 213
The principal result is a construction of completely regular semigroups in terms of semilattices of Rees matrix semigroups and their translational hulls. The main body of the paper is occupied by considerations of various special cases based on the behavior of either Green's relations or idempotents. The influence of these special cases on the construction in question is studied in considerable...
متن کاملCanonical Varieties of Completely Regular Semigroups
Completely regular semigroups CR are regarded here as algebras with multiplication and the unary operation of inversion. Their lattice of varieties is denoted by L.CR/. Let B denote the variety of bands and L.B/ the lattice of its subvarieties. The mapping V → V ∩ B is a complete homomorphism of L.CR/ onto L.B/. The congruence induced by it has classes that are intervals, say VB = [VB ;V B] for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1983
ISSN: 0021-8693
DOI: 10.1016/0021-8693(83)90178-3